Category Theory
- 2-category
- Generalized Algebraic Theories (GAT)
- Lawvere Theories
- Yoneda lemma
- algebraic fundamentally means equational
- algebraic theory
- braided monoidal category
- cartesian category
- category Arity
- category Euc
- category
- congruence
- diagram
- double category
- double theories
- forgetful functor
- free category (path category)
- functor category
- graph
- higher category theory
- instance
- lens
- limit
- model
- monoidal category
- natural isomorphism
- natural transformation
- order
- product category
- product
- representable functor
- schema
- signature
- skeletal category
- string diagram
- symmetric monoidal category
- theory
- universal construction
- virtual double category
- virtual double graph
- wiring diagram